algebra with SymPy